| 1. Identificação | |||||||
| Tipo de Referência | Relatório (Report) | ||||||
| Site | mtc-m16.sid.inpe.br | ||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||
| Identificador | 6qtX3pFwXQZsFDuKxG/EcfrM | ||||||
| Repositório | sid.inpe.br/marciana/2004/11.17.16.40 | ||||||
| Última Atualização | 2017:05.04.18.14.32 (UTC) marciana | ||||||
| Repositório de Metadados | sid.inpe.br/marciana/2004/11.17.16.40.33 | ||||||
| Última Atualização dos Metadados | 2021:02.11.21.06.32 (UTC) administrator | ||||||
| Número do Relatório | INPE-11485-RPQ/779 | ||||||
| Chave de Citação | AmbrosioMartViajCarv:2004:TePrIn | ||||||
| Título | CoFI - Conformance and fault injection: a testing process including test and fault cases derivation for space application software validation  | ||||||
| Projeto | ATIFS - Ambiente de Testes baseado na Injeção de Falhas por Software | ||||||
| Ano | 2004 | ||||||
| Data de Acesso | 29 abr. 2024 | ||||||
| Tipo | RPQ | ||||||
| Número de Páginas | 77 | ||||||
| Número de Arquivos | 1 | ||||||
| Tamanho | 578 KiB | ||||||
| 2. Contextualização | |||||||
| Autor | 1 Ambrosio, Ana Maria 2 Martins, Eliane 3 Viajaykumar, Lankalapalli Vijaykumar 4 Carvalho, Solon Venâncio de | ||||||
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 2 3 4 8JMKD3MGP5W/3C9JJ99 | ||||||
| Grupo | 1 DSS-INPE-MCT-BR 2 LAC-INPE-MCT-BR 3 LAC-INPE-MCT-BR 4 LAC-INPE-MCT-BR | ||||||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais, Divisão de Desenvolvimento de Sistemas de Solo (INPE.DSS) 2 Instituto Nacional de Pesquisas Espaciais, Laboratório de Associado de Computação e Matemática Aplicada (INPE.LAC) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) | ||||||
| Instituição | Instituto Nacional de Pesquisas Espaciais | ||||||
| Cidade | São José dos Campos | ||||||
| Histórico (UTC) | 2006-01-24 10:45:12 :: jefferson -> administrator :: 2006-09-29 03:24:45 :: administrator -> jefferson :: 2010-02-24 18:23:52 :: jefferson -> administrator :: 2016-06-04 20:03:06 :: administrator -> marciana :: 2004 2017-05-04 18:14:32 :: marciana -> administrator :: 2004 2021-02-11 21:06:32 :: administrator -> marciana :: 2004 | ||||||
| 3. Conteúdo e estrutura | |||||||
| É a matriz ou uma cópia? | é a matriz | ||||||
| Estágio do Conteúdo | concluido | ||||||
| Transferível | 1 | ||||||
| Palavras-Chave | DESENVOLVIMENTO DE SISTEMAS DE SOLO testes falhas validação comunicação solo-bordo SOIL SYSTEMS DEVELOPMENT tests faults proving ground-air-ground communication | ||||||
| Resumo | Este relatório de pesquisa descreve um novo processo de teste denominado CoFI (Conformance and Fault Injection), o qual está sendo definido como parte do programa de doutorado em Computação Aplicada. O CoFI integra duas abordagens de teste existentes: teste de conformidade e técnica de injeção de falhas. Este processo tem como objetivo principal a validação de implementações dos serviços de software especificados no padrão ECSS-E-70-41A. Esses serviços, adotados com sucesso em muitas missões espaciais, definem a comunicação, no nível das aplicações, entre aplicativos de solo e aplicativos a bordo de satélites. A Agência Espacial Européia (ESA) vem estabelecendo padrões para software de missões espaciais no trabalho do Comitê Europeu para Padronização Espacial (ECSS). Os padrões proporcionam uma redução de custos no desenvolvimento do software realizado pelas agências espaciais e pela indústria ao longo dos anos. O CoFI é um processo de teste de conformidade baseado no padrão IS-9646 para protocolos ISO, cujo objetivo é ser aplicado para validação dos serviços padronizados pela ECSS-E-7041A. A vantagem desse processo é a geração de um conjunto de testes abstratos, o qual melhora a eficácia dos testes. A confiança nos casos de testes e casos de falhas e a convergência dos mesmos são aumentadas conforme os casos vão sendo mais aplicados (re-usados). Um caso de teste e um caso de falha na sua forma abstrata são ilustrados para o serviço verificação de telecomando especificado em ECSS-E_4071A. Como teste de conformidade está relacionado ao processo de certificação, o assunto abordado nesse relatório pode ser aplicado em certificação de aplicações espaciais. ABSTRACT: This research report describes a new testing process named CoFI (Conformance and Fault Injection), which has been defined as part of the doctorate program in Applied Computing. The CoFI integrates two existing testing approaches: conformance test and fault injection technique. This process is focused on the validation of implementations of the software services stated in the ECSS-E-70-41A standard. These services, successfully adopted in many space missions, defines the application-level communication between on-board and ground applications. The European Space Agency has been setting standards for space mission software in the work of the European Committee for Space Standardization (ECSS). The standards lead to cost reduction of space mission software development for space agencies and industries over the years. The CoFI is a conformance testing process founded on the IS-9646 standard for ISO protocol, aimed to being applied for the ECSS-E-7041A standard services. The advantage of this process is the generation of a re-usable abstract test suite which improves the effectiveness of testing the services. Reliability and convergence in the test and fault cases are increased the more the tests are being applied. A test cases and a fault case in the abstract format are illustrated for the telecommand verification service stated in the ECSS-E_4071A. Since conformance test is related to the certification process, the subject on this report may be applied to space application certification business. | ||||||
| Área | ETES | ||||||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > CoFI - Conformance... | ||||||
| Arranjo 2 | urlib.net > DIDSS > CoFI - Conformance... | ||||||
| Conteúdo da Pasta doc | acessar | ||||||
| Conteúdo da Pasta source | não têm arquivos | ||||||
| Conteúdo da Pasta agreement |
| ||||||
| 4. Condições de acesso e uso | |||||||
| URL dos dados | http://urlib.net/ibi/6qtX3pFwXQZsFDuKxG/EcfrM | ||||||
| URL dos dados zipados | http://urlib.net/zip/6qtX3pFwXQZsFDuKxG/EcfrM | ||||||
| Idioma | pt | ||||||
| Grupo de Usuários | administrator jefferson | ||||||
| Visibilidade | shown | ||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | ||||||
| Detentor da Cópia | SID/SCD | ||||||
| Permissão de Leitura | allow from all | ||||||
| Permissão de Atualização | não transferida | ||||||
| 5. Fontes relacionadas | |||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/446B2HE | ||||||
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.39.50 2 sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.15.00.34 1 | ||||||
| Divulgação | NTRSNASA; BNDEPOSITOLEGAL. | ||||||
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 | ||||||
| 6. Notas | |||||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype creatorhistory date descriptionlevel doi e-mailaddress edition electronicmailaddress format isbn issn label lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup recipient rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url versiontype | ||||||
| 7. Controle da descrição | |||||||
| e-Mail (login) | marciana | ||||||
| atualizar | |||||||